Countable Borel equivalence relations, Borel reducibility, and orbit equivalence
نویسنده
چکیده
ing from the proof given above for Gaboriau-Popa we obtain theorems such as: Theorem 2.10 Let (X, d) be a complete, separable metric space equipped with an atomless Borel probability measure μ. Suppose Γ acts ergodically by measure preserving transformations on (X,μ) and the action on (X, d) is expansive. Let (Et)0<t<1 be a collection of distinct countable Borel equivalence relations on X with: (a) on any non-null measurable A ⊂ X we have for all s 6= t and a.e. x ∈ A {y ∈ A : yEsx} 6= {y ∈ A : yEtx}; (b) each Es ⊃ EΓ. Then each Es is orbit equivalent to only countably many Et’s. I mention this not as an exercise in proof mining, but rather because it might be interesting to explore dynamical properties such as expansiveness. Conceivably there could be other applications to the theory of countable Borel equivalence relations. For instance, just for example, I do not know which countable groups admit measure preserving expansive actions. 2.6 Countable Borel equivalence relations up to Borel reducibility For a long while we only had finitely many countable Borel equivalence relations which were known to be distinct in the ≤B ordering. This was finally settled by Adams and Kechris: Theorem 2.11 (Adams-Kechris, [1]) There are continuum many ≤B-incomparable countable Borel equivalence relations. Their argument ultimately relied on super rigidity results for certain classes of algebraic groups, as developed in [29]. For the free groups there is no hint that such a rigidity theory should exist, and by implication there is not even the slightest suggestion that there is a parallel theory for treeable equivalence relations.
منابع مشابه
Some Applications of the Adams-kechris Technique
We analyze the technique used by Adams and Kechris (2000) to obtain their results about Borel reducibility of countable Borel equivalence relations. Using this technique, we show that every Σ1 equivalence relation is Borel reducible to the Borel bi-reducibility of countable Borel equivalence relations. We also apply the technique to two other classes of essentially uncountable Borel equivalence...
متن کاملBernoulli Actions of Low Rank Lattices and Countable Borel Equivalence Relations
Using Zimmer’s cocycle superrigidity theorems [27], we obtain Borel nonreducibility results for orbit equivalence relations arising from Bernoulli actions of suitably chosen low-rank lattices in real and p-adic Lie groups. In particular, for p a prime, let Ep (respectively Fp) denote the orbit equivalence relation arising from any nontrivial Bernoulli action of PSL2(Z[ √ p ]) (respectively PSL2...
متن کاملTreeable equivalence relations
There are continuum many ≤B-incomparable equivalence relations induced by a free, Borel action of a countable non-abelian free group – and hence, there are 20 many treeable countable Borel equivalence relations which are incomparable in the ordering of Borel reducibility
متن کاملar X iv : 1 30 6 . 12 70 v 1 [ m at h . L O ] 6 J un 2 01 3 UNIVERSAL COUNTABLE BOREL QUASI - ORDERS
In recent years, much work in descriptive set theory has been focused on the Borel complexity of naturally occurring classification problems, in particular, the study of countable Borel equivalence relations and their structure under the quasi-order of Borel reducibility. Following the approach of Louveau and Rosendal for the study of analytic equivalence relations, we study countable Borel qua...
متن کاملUniversal Countable Borel quasi-Orders
In recent years, much work in descriptive set theory has been focused on the Borel complexity of naturally occurring classification problems, in particular, the study of countable Borel equivalence relations and their structure under the quasi-order of Borel reducibility. Following the approach of Louveau and Rosendal in [8] for the study of analytic equivalence relations, we study countable Bo...
متن کامل